Knihy od autora Rolf Drechsler

Zobrazeno 1 – 20 z 68 výsledků

1. 

   Enhanced Virtual Prototyping for Heterogeneous Systems

   Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2023

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1843 Kč

   Koupit
2. 

   Enhanced Virtual Prototyping for Heterogeneous Systems

   Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2022

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2533 Kč

   Koupit
3. 

   Advanced Boolean Techniques

   Rolf Drechsler, Sebastian Huhn | Springer, Berlin, 2023

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2592 Kč

   Koupit
4. 

   Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme

   Mehran Goli, Rolf Drechsler | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Němčina

   Vazba: Pevná

   2423 Kč

   Koupit
5. 

   Verbessertes virtuelles Prototyping

   Vladimir Herdt, Daniel Große, Rolf Drechsler | Springer, Berlin, 2023

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Němčina

   Vazba: Pevná

   1938 Kč

   Koupit
6. 

   Advanced BDD Optimization

   Rudiger Ebendt, Görschwin Fey, Rolf Drechsler | Springer-Verlag New York Inc., 2010

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3379 Kč

   Koupit
7. 

   Test Pattern Generation using Boolean Proof Engines

   Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille | Springer, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2646 Kč

   Koupit
8. 

   Advanced Formal Verification

   Rolf Drechsler | Springer-Verlag New York Inc., 2010

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
9. 

   Reversible and Quantum Circuits

   Nabila Abdessaied, Rolf Drechsler | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1182 Kč

   Koupit
10. 

    Erweiterte virtuelle Prototypen für heterogene Systeme

    Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2024

    
    

    50 % šance - Prohledáme celý svět

    Jazyk: Němčina

    Vazba: Pevná

    1831 Kč

    Koupit
11. 

    Formal Modeling and Verification of Cyber-Physical Systems

    Rolf Drechsler, Ulrich Kühne | Springer Fachmedien Wiesbaden, 2015

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182 Kč

    Koupit
12. 

    Binary Decision Diagrams

    Rolf Drechsler, Bernd Becker | Springer-Verlag New York Inc., 2010

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    3532 Kč

    Koupit
13. 

    Formal Verification of Circuits

    Rolf Drechsler | Springer, Berlin, 2010

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    4060 Kč

    Koupit
14. 

    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler | Springer International Publishing AG, 2018

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    3532 Kč

    Koupit
15. 

    Recent Findings in Boolean Techniques

    Rolf Drechsler | Springer Nature Switzerland AG, 2021

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    2357 Kč

    Koupit
16. 

    Advanced Logic Synthesis

    André Inácio Reis, Rolf Drechsler | Springer International Publishing AG, 2017

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    2357 Kč

    Koupit
17. 

    Test Pattern Generation using Boolean Proof Engines

    Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille | Springer, 2010

    
    

    Skladem u dodavatele - Odesíláme za 8-11 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2357 Kč

    Koupit
18. 

    Languages, Design Methods, and Tools for Electronic System Design

    Rolf Drechsler, Robert Wille | Springer International Publishing AG, 2016

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    1182 Kč

    Koupit
19. 

    Computer

    Rolf Drechsler, Andrea Fink, Jannis Stoppe | Springer Berlin Heidelberg, 2017

    
    

    Skladem u dodavatele - Odesíláme za 8-11 dnů

    Jazyk: Němčina

    Vazba: Brožovaná

    410 Kč

    Koupit
20. 

    Formal Verification of Circuits

    Rolf Drechsler | Springer, Berlin, 2000

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    3532 Kč

    Koupit

Zboží můžete bez udání důvodů do měsíce vrátit. Zjistěte více